Problem representation for refinement
نویسندگان
چکیده
منابع مشابه
the algorithm for solving the inverse numerical range problem
برد عددی ماتریس مربعی a را با w(a) نشان داده و به این صورت تعریف می کنیم w(a)={x8ax:x ?s1} ، که در آن s1 گوی واحد است. در سال 2009، راسل کاردن مساله برد عددی معکوس را به این صورت مطرح کرده است : برای نقطه z?w(a)، بردار x?s1 را به گونه ای می یابیم که z=x*ax، در این پایان نامه ، الگوریتمی برای حل مساله برد عددی معکوس ارانه می دهیم.
15 صفحه اولRepresenting Problem-Solving for Knowledge Refinement
Knowledge refinement tools seek to correct faulty knowledge based systems (KBSs) by identifying and repairing potentially faulty rules. The goal of the KRuSTWorks project is to provide a source of refinement components from which specialised refinement tools tailored to the needs of a range of KBSs are built. A core refinement algorithm reasons about the knowledge that has been applied, but thi...
متن کاملRepresentation: The Problem for Structuralism
What does it mean to embed the phenomena in an abstract structure? Or to represent them by doing so? The semantic view of theories runs into a severe problem if these notions are construed either naively, in a metaphysical way, or too closely on the pattern of the earlier syntactic view. Constructive empiricism and structural realism will then share those difficulties. The problem will be posed...
متن کاملStepwise Refinement and Problem Solving
S tepwise refinement remains a popular approach to program-design implementation, primarily because of its flexibility. As originally proposed by Niklaus Wirth, the technique involves successively decomposing design decisions into target code. With each re6nement step, the designer must + note the interdependence of subproblems, + attempt to preserve the design’s functional correctness, and + d...
متن کاملInfinite product representation of solution of indefinite SturmLiouville problem
In this paper, we investigate infinite product representation of the solution of a Sturm- Liouville equation with an indefinite weight function which has two zeros and/or singularities in a finite interval. First, by using of the asymptotic estimates provided in [W. Eberhard, G. Freiling, K. Wilcken-Stoeber, Indefinite eigenvalue problems with several singular points and turning points, Math. N...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Minds and Machines
سال: 1992
ISSN: 0924-6495,1572-8641
DOI: 10.1007/bf02454223